<HTML>
	<HEAD>
		<TITLE>Model Validation Feature (Capella only)</TITLE>
	</HEAD>
	
	<BODY TEXT="black">
	<B>Model Validation Feature (Capella only)</FONT><BR></B>
	
	<BR> Pattern instances may or not conform to their pattern, due to pattern and/or instance evolution. It is possible to detect all non-conforming instances during the classic model validation phase.<BR>
	<BR> To ensure that pattern conformity is taken into account during validation, click 'Preferences' in the 'Window' menu. In 'Model Validation', pattern conformity is represented as a consistency constraint. Activate it to enable the detection of non-conforming instances.<BR>
	<BR> <IMG SRC="images/model_validation_1.jpg"><BR><BR>
	<BR><B>Warning:</B> Checking this constraint takes time. It is usually better to leave the constraint disabled for large models. Instead, instances can be checked individually for conformity using the Instance Management Panel 
	(see <A HREF="../../pages/6/6_3_1__The_Check_button.html"> Instance Management -> The check button </A>).<BR>

	<BR><BR> Model validation can then be run as usual via the dedicated menu item.<BR>
	<BR> <IMG SRC="images/model_validation_2.jpg"><BR><BR>

	<BR><BR> If an instance does not conform to its pattern, a warning will be present in the list of problems as in the figure below.
	<BR> <IMG SRC="images/model_validation_3.jpg"><BR><BR>

	<BR><BR> Note that pattern instances can also be checked and validated individually via the dedicated GUI <BR>
	(see <A HREF="../../pages/6/6_3_1__The_Check_button.html"> Instance Management -> The check button </A>).<BR>

	</BODY>
</HTML>